搜索包含 Interactive Software Engineering 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Interactive Software Engineering 的图书(共3045本)

	Verified Software: Theories, Tools, Experiments [electronic resource] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings 0 索取号：作者：Leavens、 Gary T.、O鈥橦earn、 Peter.、Rajamani、 Sriram K.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		26th Southern Biomedical Engineering Conference SBEC 2010, April 30 - May 2, 2010, College Park, Maryland, USA [electronic resource] 0 索取号：作者：Herold、 Keith E.、Vossoughi、 Jafar.、Bentley、 William E.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Reliability Engineering [electronic resource] : Theory and Practice 0 索取号：作者：Birolini、 Alessandro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Fuzzy Information and Engineering 2010 [electronic resource] : Volume I 0 索取号：作者：Cao、 Bing-yuan.、Wang、 Guo-jun.、Guo、 Si-zong.、Chen、 Shui-li.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Algorithm Engineering [electronic resource] : Bridging the Gap between Algorithm Theory and Practice 0 索取号：作者：M眉ller-Hannemann、 Matthias.、Schirra、 Stefan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Evaluation of Novel Approaches to Software Engineering [electronic resource] : 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers 0 索取号：作者：Maciaszek、 Leszek A.、Gonz谩lez-P茅rez、 C茅sar.、Jablonski、 Stefan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Macro-engineering Seawater in Unique Environments [electronic resource] : Arid Lowlands and Water Bodies Rehabilitation 0 索取号：作者：Badescu、 Viorel.、Cathcart、 Richard B.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.		Tackling Turbulent Flows in Engineering [electronic resource] 0 索取号：作者：Dewan、 Anupam.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
	Intelligent Interactive Multimedia Systems and Services [electronic resource] 0 索取号：作者：Tsihrintzis、 George A.、Damiani、 Ernesto.、Virvou、 Maria.、Howlett、 Robert J.、Jain、 Lakhmi C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		6th World Congress of Biomechanics (WCB 2010). August 1-6, 2010 Singapore [electronic resource] : In Conjunction with 14th International Conference on Biomedical Engineering (ICBME) and 5th Asia Pacific Conference on Biomechanics (APBiomech) 0 索取号：作者：Lim、 C. T.、Goh、 J. C. H.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Parallel Computational Fluid Dynamics 2008 [electronic resource] : Parallel Numerical Methods, Software Development and Applications 0 索取号：作者：Tromeur-Dervout、 Damien.、Brenner、 Gunther.、Emerson、 David R.、Erhel、 Jocelyne.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		New Modeling Concepts for Today's Software Processes [electronic resource] : International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings 0 索取号：作者：M眉nch、 J眉rgen.、Yang、 Ye.、Sch盲fer、 Wilhelm.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Testing Techniques in Software Engineering [electronic resource] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures 0 索取号：作者：Borba、 Paulo.、Cavalcanti、 Ana.、Sampaio、 Augusto.、Woodcook、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Biosystems Engineering I [electronic resource] : Creating Superior Biocatalysts 0 索取号：作者：Wittmann、 Christoph.、Krull、 Rainer.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
	Requirements Engineering: Foundation for Software Quality [electronic resource] : 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30鈥揓uly 2, 2010. Proceedings 0 索取号：作者：Wieringa、 Roel.、Persson、 Anne.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Interactive Theorem Proving [electronic resource] : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings 0 索取号：作者：Kaufmann、 Matt.、Paulson、 Lawrence C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

	Verified Software: Theories, Tools, Experiments [electronic resource] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings 0 索取号：作者：Leavens、 Gary T.、O鈥橦earn、 Peter.、Rajamani、 Sriram K.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		26th Southern Biomedical Engineering Conference SBEC 2010, April 30 - May 2, 2010, College Park, Maryland, USA [electronic resource] 0 索取号：作者：Herold、 Keith E.、Vossoughi、 Jafar.、Bentley、 William E.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Reliability Engineering [electronic resource] : Theory and Practice 0 索取号：作者：Birolini、 Alessandro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Fuzzy Information and Engineering 2010 [electronic resource] : Volume I 0 索取号：作者：Cao、 Bing-yuan.、Wang、 Guo-jun.、Guo、 Si-zong.、Chen、 Shui-li.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Algorithm Engineering [electronic resource] : Bridging the Gap between Algorithm Theory and Practice 0 索取号：作者：M眉ller-Hannemann、 Matthias.、Schirra、 Stefan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Evaluation of Novel Approaches to Software Engineering [electronic resource] : 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers 0 索取号：作者：Maciaszek、 Leszek A.、Gonz谩lez-P茅rez、 C茅sar.、Jablonski、 Stefan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Macro-engineering Seawater in Unique Environments [electronic resource] : Arid Lowlands and Water Bodies Rehabilitation 0 索取号：作者：Badescu、 Viorel.、Cathcart、 Richard B.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.		Tackling Turbulent Flows in Engineering [electronic resource] 0 索取号：作者：Dewan、 Anupam.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
	Intelligent Interactive Multimedia Systems and Services [electronic resource] 0 索取号：作者：Tsihrintzis、 George A.、Damiani、 Ernesto.、Virvou、 Maria.、Howlett、 Robert J.、Jain、 Lakhmi C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		6th World Congress of Biomechanics (WCB 2010). August 1-6, 2010 Singapore [electronic resource] : In Conjunction with 14th International Conference on Biomedical Engineering (ICBME) and 5th Asia Pacific Conference on Biomechanics (APBiomech) 0 索取号：作者：Lim、 C. T.、Goh、 J. C. H.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Parallel Computational Fluid Dynamics 2008 [electronic resource] : Parallel Numerical Methods, Software Development and Applications 0 索取号：作者：Tromeur-Dervout、 Damien.、Brenner、 Gunther.、Emerson、 David R.、Erhel、 Jocelyne.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		New Modeling Concepts for Today's Software Processes [electronic resource] : International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings 0 索取号：作者：M眉nch、 J眉rgen.、Yang、 Ye.、Sch盲fer、 Wilhelm.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Testing Techniques in Software Engineering [electronic resource] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures 0 索取号：作者：Borba、 Paulo.、Cavalcanti、 Ana.、Sampaio、 Augusto.、Woodcook、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Biosystems Engineering I [electronic resource] : Creating Superior Biocatalysts 0 索取号：作者：Wittmann、 Christoph.、Krull、 Rainer.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
	Requirements Engineering: Foundation for Software Quality [electronic resource] : 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30鈥揓uly 2, 2010. Proceedings 0 索取号：作者：Wieringa、 Roel.、Persson、 Anne.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Interactive Theorem Proving [electronic resource] : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings 0 索取号：作者：Kaufmann、 Matt.、Paulson、 Lawrence C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.